$\forall$$T$:Type, $L$:$T$ List, $R$:(\{$x$:$T$$\mid$ ($x$ $\in$ $L$) \}$\rightarrow$Realizer), ${\it es}$:ES.
\\[0ex]Consistent($\oplus$$x$$\in$$L$.$R$($x$);${\it es}$) $\Leftrightarrow$ ($\forall$$x$$\in$$L$. Consistent($R$($x$);${\it es}$))